Gribov ambiguity

 ( Gauge Theories ) 

In gauge theories, especially in non-abelian gauge theories, global problems at gauge fixing are often encountered. Gauge fixing means choosing a representative from each G-torsor, that is, choosing a section of a fiber bundle. The space of representatives is a submanifold (of the bundle as a whole) and represents the gauge fixing condition. Ideally, every gauge orbit will intersect this submanifold once and only once. Unfortunately, this is often impossible globally for non-abelian gauge theories because of topological obstructions and the best that can be done is make this condition true locally. A gauge fixing submanifold may not intersect a gauge orbit at all or it may intersect it more than once. The difficulty arises because the gauge fixing condition is usually specified as a differential equation of some sort, e.g. that a divergence vanish (as in the Landau or Lorenz gauge). The solutions to this equation may end up specifying multiple sections, or perhaps none at all. This is called a Gribov ambiguity (named after Vladimir Gribov).

Gribov ambiguities lead to a nonperturbative failure of the BRST symmetry, among other things.

A way to resolve the problem of Gribov ambiguity is to restrict the relevant functional integrals to a single Gribov region whose boundary is called a Gribov horizon. Still one can show that this problem is not resolved even when reducing the region to the first Gribov region. The only region for which this ambiguity is resolved is the fundamental modular region ( FMR).

---

Background When doing computations in gauge theories, one usually needs to choose a gauge. Gauge degrees of freedom do not have any direct physical meaning, but they are an artifact of the mathematical description we use to handle the theory in question. In order to obtain physical results, these redundant degrees of freedom need to be discarded in a suitable way

In Abelian gauge theory (i.e. in quantum electrodynamics) it suffices to simply choose a gauge. A popular one is the Lorenz gauge $\backslash partial^\backslash mu\; A\_\backslash mu\; =\; 0$, which has the advantage of being Lorentz invariant. In non-Abelian gauge theories (such as quantum chromodynamics) the situation is more complicated due to the more complex structure of the non-Abelian gauge group.

The Faddeev–Popov formalism, developed by Ludvig Faddeev and Victor Popov, provides a way to deal with the gauge choice in non-Abelian theories. This formalism introduces the Faddeev–Popov operator, which is essentially the Jacobian determinant of the transformation necessary to bring the gauge field into the desired gauge. In the so-called Landau gaugeIn quantum gauge theory, the term "Lorenz gauge" usually refers to more general gauges of the form $\backslash partial\_\backslash mu\; A\_\backslash mu(x)\; =\; f(x)$, where the function $f(x)$ is usually averaged over. $\backslash partial\_\backslash mu\; A\_\backslash mu^a\; =\; 0$, this operator has the form

$\backslash partial\_\backslash mu\; \backslash mathcal\; D\_\backslash mu^\{ab\}\; \backslash ;,$

where $\backslash mathcal\; D\_\backslash mu^\{ab\}$ is the covariant derivative in the adjoint representation. The determinant of this Faddeev–Popov operator is then introduced into the path integral using ghost fields.

This formalism, however, assumes that the gauge choice (like $\backslash partial\_\backslash mu\; A\_\backslash mu^a\; =\; 0$) is unique — i.e. for each physical configuration there exists exactly one $A\_\backslash mu^a$ that corresponds to it and that obeys the gauge condition. In non-Abelian gauge theories of Yang–Mills type, this is not the case for a large class of gauges, though, as was first pointed out by Gribov in 1978.

---

Gribov's construction Gribov considered the question of, given a certain physical configuration, how many different gauge copies of this configuration obey the Landau gauge condition $\backslash partial\_\backslash mu\; A\_\backslash mu^a\; =\; 0$. No configurations without any representatives are known. It is perfectly possible, though, for there to be more than one.

Consider two gauge fields $A\_\backslash mu^a$ and $\{A\_\backslash mu^a\}\text{'}$, and assume they both obey the Landau gauge condition. If $\{A\_\backslash mu^a\}\text{'}$ is a gauge copy of $A\_\backslash mu^a$, we would have (assuming they are infinitesimally close to each other):

$\{A\_\backslash mu^a\}\text{'}\; =\; A\_\backslash mu^a\; +\; \backslash mathcal\; D\_\backslash mu^\{ab\}\; \backslash omega^b$

for some function $\backslash omega^b$.The covariant derivative here contains the gauge field $A\_\backslash mu^a$. If both fields obey the Landau gauge condition, we must have that

$\backslash partial\_\backslash mu\; \backslash mathcal\; D\_\backslash mu^\{ab\}\; \backslash omega^b\; =\; 0\; \backslash ;,$

and thus that the Faddeev–Popov operator has at least one zero mode. If the gauge field is infinitesimally small, this operator will not have zero modes. The set of gauge fields where the Faddeev–Popov operator has its first zero mode (when starting from the origin) is called the "Gribov horizon". The set of all gauge fields where the Faddeev–Popov operator has no zero modes (meaning this operator is positive definite) is called the "first Gribov region" $\backslash Omega$.

If gauge fields have gauge copies, these fields will be overcounted in the path integral. In order to counter that overcounting, Gribov argued we should limit the path integral to the first Gribov region. In order to do so, he considered the ghost propagator, which is the vacuum expectation value of the inverse of the Faddeev–Popov operator. If this operator is always positive definite, the ghost propagator cannot have poles — which is called the "no-pole condition". In usual perturbation theory (using the usual Faddeev–Popov formalism), the propagator does have a pole, which means we left the first Gribov region and overcounted some configurations.

Deriving a perturbative expression for the ghost propagator, Gribov finds that this no-pole condition leads to a condition of the form

with N the number of colors (which is 3 in QCD), g the gauge coupling strength, V the volume of space-time (which goes to infinity in most applications), and d the number of space-time dimensions (which is 4 in the real world). The functional $\backslash sigmaA$ is a shorthand for the expression between the angular brackets. In order to impose this condition, Gribov proposed to introduce a Heaviside step function containing the above into the path integral. The Fourier representation of the Heaviside function is:

$H(1-\backslash sigmaA)\; =\; \backslash int\_\{-i\backslash infty+\backslash epsilon\}^\{+i\backslash infty+\backslash epsilon\}\; \backslash frac\{d\backslash beta\}\{2\backslash pi\; i\backslash beta\}\; e^\{\backslash beta(1-\backslash sigmaA)\}\; \backslash ;.$

In this expression, the parameter $\backslash beta$ is called the "Gribov parameter". The integration over this Gribov parameter is then performed using the method of steepest descent. This method gives an equation for the Gribov parameter, which is called the gap equation. Plugging the solution to this equation back into the path integral yields a modified gauge theory.

With the modification stemming from the Gribov parameter, it turns out that the gluon propagator is modified to

$D^\{ab\}\_\{\backslash mu\backslash nu\}\; (k)\; =\; \backslash delta^\{ab\}\; \backslash left(\backslash delta\_\{\backslash mu\backslash nu\}\; -\; \backslash frac\{k\_\backslash mu\; k\_\backslash nu\}\{k^2\}\backslash right)\; \backslash frac1\{k^2\; +\; \backslash frac\{2N\; g^2\}\{Vd(N^2-1)\}\; \backslash frac\{\backslash beta\_0\}\{k^2\}\}\; \backslash ;,$

where $\backslash beta\_0$ is that value of $\backslash beta$ that solves the gap equation. The ghost propagator is also modified and, at one-loop order, displays a behavior $\backslash propto\; 1/k^4$.

---

Gribov–Zwanziger action Several years later, also considered the Gribov problem. He used a different approach. Instead of considering the ghost propagator, he computed the lowest eigenvalue of the Faddeev–Popov operator as a perturbative series in the gluon field. This yielded a certain function, which he called the "horizon function", and the vacuum expectation value of this horizon function must be limited to at most one in order to stay within the first Gribov region. This condition can be expressed by introducing the horizon function into the path integral (in a way analogous to how Gribov did the same) and imposing a certain gap equation on the vacuum energy of the resulting theory. This yielded a new path integral with a modified action, which is, however, nonlocal. At leading order, the results are identical to the ones previously found by Gribov.

In order to more easily deal with the action he found, Zwanziger introduced localizing fields. Once the action had become local, it was possible to prove that the resulting theory is renormalization — i.e. all infinities generated by loop diagrams can be absorbed by multiplicatively modifying the content (coupling constant, field normalization, Gribov parameter) already present in the theory without needing extra additions.

Zwanziger furthermore noted that the resulting gluon propagator does not admit a Källén–Lehmann spectral representation, which signals that the gluon cannot be a physical particle any longer. This is often interpreted as signaling color confinement.

---

Properties of the first Gribov region As the first Gribov region plays a pivotal role in the resolution of the Gribov ambiguity, it has attracted additional attention over the years since Gribov's first paper. The Landau gauge can be defined as being the gauge that extremizes the functional

$||A||^2\; =\; \backslash int\; d^dx\; A\_\backslash mu^a(x)\; A\_\backslash mu^a(x)\; \backslash ;.$

A simple extremum (maximum or minimum) of this functional is the usual Landau gauge. Demanding a minimum (which is equivalent with demanding that the Faddeev–Popov operator be positive) lands one in the first Gribov region.

This condition still includes relative minima, though. It has been shown that there are still Gribov copies within the first Gribov region that are related to each other by a topologically trivial gauge transformation. The space of gauge functions that absolutely minimize the functional $||A||^2$ defined above is called the "fundamental modular region". It is unknown how to restrict the path integral to this region, though.

The first Gribov region has been shown to be bounded in all directions, such that no arbitrarily large field configurations are taken into account when restricting the path integral to this region. Furthermore, the first Gribov region is convex, and all physical configurations have at least one representative inside it.

---

Later developments In 2013 it was proven that the two formalisms — Gribov's and Zwanziger's — are equivalent to all orders in perturbation theory.

One challenge for the Gribov–Zwanziger formalism is that the BRST symmetry is broken. This breaking can be interpreted as dynamical symmetry breaking. The breaking is "soft" (i.e. proportional to a parameter with positive mass dimension, in this case the Gribov parameter), such that renormalizability can still be proven. Unitarity is still problematic, however. More recently, however, a claim for a BRST-preserved Gribov–Zwanziger action has been made in the literature.

For a long time, lattice simulations seemed to indicate that the modified gluon and ghost propagators proposed by Gribov and Zwanziger were correct. In 2007, however, computers had become sufficiently strong to probe the region of low momenta, where the propagators are most modified, and it turned out that the Gribov–Zwanziger picture is not correct. Instead, the gluon propagator goes to a constant value when the momentum is taken to zero, and the ghost propagator still goes like 1/ k² at low momenta. This is the case for both 3 and 4 space-time dimensions. A solution to this discrepancy has been proposed, adding condensates to the Gribov–Zwanziger action.

---

Notes

---

Sources

• T. Heinzl. Hamiltonian Approach to the Gribov Problem. Nuclear Physics B (Proc.Suppl) 54A (1997) 194-197, arXiv:hep-th/9609055
• Kondo, http://www.icra.it/MG/mg12/talks/sqg5_kondo.pdf (second slide)

Post Comment